2005

学術論文誌(査読付)

[1] 崔 銀惠, 河本 貴則, 渡邊 宏, "画面遷移仕様のモデル検査", 日本ソフトウェア科学会コンピュータソフトウェア, 22(3),  pp. 146-153, 2005年7月.

国内会議(査読付)

[1] 古澤 仁, 渡邊 宏, 河本 貴則, 崔 銀惠, "形式的手法の便益性評価のためのデータ収集実験", 第二回システム検証の科学技術シンポジウム予稿集, pp. 196-204, 2005年10月.